Implementing a Multiple-Valued Decision Diagram Package
نویسندگان
چکیده
Decision diagrams are the state-of-the-art representation for logic functions, both binary and multiple-valued. Here we consider issues regarding the efficient implementation of a package for the creation and manipulation of multiple-valued decision diagrams (MDDs). In particular, we identify issues that differ from binary decision diagram packages. We describe a matrix method for level interchange in MDDs that is essential for implementing variable reordering strategies. In addition, it is the basis for a novel approach to performing logic operations on MDDs, which we also present. Experimental results demonstrate the efficiency of this approach.
منابع مشابه
On the Construction of Multiple-Valued Decision Diagrams
Decision diagrams are the state-of-the-art representation for logic functions, both binary and multiple-valued. Here we consider ways to improve the construction of multiple-valued decisions diagrams (MDD). Efficiency is achieved through the use of a simple computed table. We compare the use of recursive MIN and MAX as primitive operations in multiple-valued decision diagram construction to the...
متن کاملHeuristics to Minimize Multiple-Valued Decision Diagrams
In this paper, we propose a method to minimize multiple-valued decision diagrams (MDDs) for multipleoutput functions. We consider the following: (1) a heuristic for encoding the 2-valued inputs; and (2) a heuristic for ordering the multiple-valued input variables based on sampling, where each sample is a group of outputs. We first generate a 4-valued input 2-valued multiple-output function from...
متن کاملEdge-Shifted Decision Diagrams for Multiple-Valued Logic
Symbolic data structures for multi-valued logics are useful in a number of applications, from model-checking to circuit design and switch-level circuit verification. Such data structures are referred to as decision diagrams, and are typically considered effective if they are small, i.e., common co-factors of a function are shared, and canonical, i.e., given a variable ordering, there is a uniqu...
متن کاملQMDD and Spectral Transformation of Binary and Multiple-Valued Functions*
The use of decision diagrams (DD) for the computation and representation of binary function spectra has been well studied [2,3,5]. Computations and representation of spectra for multiplevalued logic (MVL) functions have also been considered [6]. For binary functions, this approach can be implemented using one of a number of the highly efficient publicly available binary decision diagram (BDD) p...
متن کاملPlanar Multiple-Valued Decision Diagrams
In VLSI, crossings occupy space and cause delay. Therefore, there is significant benefit to planar circuits. We propose the use of planar multiple-valued decision diagrams to produce planar multiple-valued circuits. Specifically, we show conditions on 1) threshold functions, 2 symmetric functions, and 3) monodiagrams. Our results apply to binary functions, as well. For example, we show that all...
متن کامل